widget: reset all controllers when the widget becomes insensitive
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 5 Jun 2014 13:31:35 +0000 (15:31 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 5 Jun 2014 14:15:54 +0000 (16:15 +0200)
commit90424289fb8dbe1f0ef948f71a919082e4b9627d
tree00b66ea7e166ac800d970ce19682cc1316da43d3
parent14d1a5cba4b24078a51a48c1cbc8e6dbd4d67085
widget: reset all controllers when the widget becomes insensitive

Widgets becoming insensitive won't receive further events, but there
could be chances the controllers don't get properly notified and reset
in those situations.
gtk/gtkwidget.c